Towards a Theory for Bio - - Cyber Physical Systems Modelling
نویسندگان
چکیده
Currently, CyberPhysical Systems (CPS) represents a great challenge for automatic control and smart systems engineering on both theoretical and practical levels. Designing CPS requires approaches involving multi-disciplinary competences. However they are designed to be autonomous, the CPS present a part of uncertainty, which requires interaction with human for engineering, monitoring, controlling, performing operational maintenance, etc. This human-CPS interaction led naturally to the human in-the-loop (HITL) concept. Nevertheless, this HITL concept, which stems from a reductionist point of view, exhibits limitations due to the different natures of the systems involved. As opposed to this classical approach, we propose, in this paper, a model of Bio-CPS (i.e. systems based on an integration of computational elements within biological systems) grounded on theoretical biology, physics and computer sciences and based on the key concept of human systems integration.
منابع مشابه
Application of Stochastic Optimal Control, Game Theory and Information Fusion for Cyber Defense Modelling
The present paper addresses an effective cyber defense model by applying information fusion based game theoretical approaches. In the present paper, we are trying to improve previous models by applying stochastic optimal control and robust optimization techniques. Jump processes are applied to model different and complex situations in cyber games. Applying jump processes we propose some m...
متن کاملTowards a UTP Semantics for Modelica
We describe our work on a UTP semantics for the dynamic systems modelling language Modelica. This is a language for modelling a system’s continuous behaviour using a combination of differentialalgebraic equations and an event-handling system. We develop a novel UTP theory of hybrid relations, inspired by Hybrid CSP and Duration Calculus, that is purely relational and provides uniform handling o...
متن کاملTowards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
We describe an approach to the model-based engineering of embedded and cyber-physical systems, based on the semantic integration of diverse discipline-specific notations and tools. Using the example of a small unmanned aerial vehicle, we explain the need for multiple notations and collaborative modelling. Learning from experience with binary co-modelling based on a bespoke operational semantics...
متن کاملTowards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
Modern cyber-physical systems are becoming increasingly complex and distributed. These trends are making it more and more difficult to ensure the timing guarantees of these systems: traditional approaches were developed for much simpler systems and are difficult to scale. As system sizes are growing further, designing future cyber-physical systems is going to be even more challenging. Compositi...
متن کاملA categorical approach towards metamodeling
Cyber-physical systems, orchestrating computing, networking, and physical processes, are coupled, hybrid systems characterized by heterogeneous, interconnected subsystems. In civil engineering, the most common applications of cyber-physical systems are associated with structural health monitoring (SHM) and structural control. Given the complexity and heterogeneity of cyber-physical systems desi...
متن کامل